Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
81	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2006-09-28 09:58:04 Software engineering Computing Computer programming Type theory Concurrent programming languages Type systems Functional languages Data types Erlang Type inference Scala HindleyMilner type system
82	Design and implementation of a reusable type inference engine and its application to Scheme Brian J. Dorn TR #05-16 July 2005 Add to Reading List Source URL: faculty.ist.unomaha.edu Language: English - Date: 2011-07-18 11:55:51
83	Design and implementation of a reusable type inference engine and its application to Scheme by Brian James Dorn A thesis submitted to the graduate faculty Add to Reading List Source URL: faculty.ist.unomaha.edu Language: English - Date: 2011-07-18 11:55:51
84	Inference and Checking of Object Ownership Wei Huang1, Werner Dietl2, Ana Milanova1, Michael D. Ernst2 1Rensselaer Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-07-02 11:46:59 Type theory Concurrent programming languages Type systems Null Go Type inference
85	Type Check Removal Using Lazy Interprocedural Code Versioning Baptiste Saleil Marc Feeley Add to Reading List Source URL: andykeep.com Language: English - Date: 2015-09-01 05:05:21 Compiler construction Programming language implementation Compiler optimizations Object-oriented programming languages Type theory Compiler Just-in-time compilation Interpreter Type inference Objective-C Static single assignment form C
86	Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:56 Computing Concurrent computing Software engineering Parallel computing Type theory Data types Distributed computing architecture Benchmark Type system Type inference Consistency model Shared memory
87	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-06-18 07:47:46
88	Type Inference For Atomicity Cormac Flanagan Department of Computer Science University of California, Santa Cruz Santa Cruz, CA 95064 Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:18
89	Refinement Type Inference via Multi-Objective Optimization Subject to Horn Clauses Kodai Hashimoto and Hiroshi Unno (University of Tsukuba)! {kodai, uhiro}@logic.cs.tsukuba.ac.jp Our proposal Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2015-05-05 06:48:39

UPDATE